On a bicomma object condition for KZ-doctrines
نویسندگان
چکیده
منابع مشابه
A KZ Reduction Algorithm
The Korkine-Zolotareff (KZ) reduction is one of the often used reduction strategies for decoding lattices. A KZ reduction algorithm involves solving shortest vector problems (SVPs) and basis expansion. In this paper, first we improve the commonly used Schnorr-Euchner search strategy for solving SVPs. Then, we derive upper bounds on the magnitudes of the entries of any solution of a SVP when its...
متن کاملA Co-free Construction for Elementary Doctrines
We provide a construction which co-freely adds elementary structure to a primary doctrine in the sense of Lawvere. We show that the construction preserves all the first order logical structures that the starting doctrine may have. Moreover it forces the Principle of Propositional Extensionality when applied to tripos.
متن کاملLifting as a KZ-Doctrine
Synopsis. In a cartesian closed category with an initial object and a dominance that classiies it, an intensional notion of approximation between maps |the path relation (c.f. link relation)| is deened. It is shown that if such a category admits strict/upper-closed factorisations then it preorder-enriches (as a cartesian closed category) with respect to the path relation. By imposing further ax...
متن کاملOn Polynomial Approximations Over Z/2^kZ*
We study approximation of Boolean functions by low-degree polynomials over the ring Z/2kZ. More precisely, given a Boolean function F : {0,1}n {0,1}, define its k-lift to be F : {0,1}n {0,2k-1} by Fk(x) = 2k-F(x) mod 2k$. We consider the fractional agreement (which we refer to as d,k(F)) of Fk(x) with degree d polynomials from Z/2kZ[x1,...,xn]. Our results are the following: 1. Increasing k can...
متن کاملA COMMUTATIVITY CONDITION FOR RINGS
In this paper, we use the structure theory to prove an analog to a well-known theorem of Herstein as follows: Let R be a ring with center C such that for all x,y ? R either [x,y]= 0 or x-x [x,y]? C for some non negative integer n= n(x,y) dependingon x and y. Then R is commutative.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Pure and Applied Algebra
سال: 1999
ISSN: 0022-4049
DOI: 10.1016/s0022-4049(98)00108-x